50 research outputs found
Probabilistic Plan Synthesis for Coupled Multi-Agent Systems
This paper presents a fully automated procedure for controller synthesis for
multi-agent systems under the presence of uncertainties. We model the motion of
each of the agents in the environment as a Markov Decision Process (MDP)
and we assign to each agent one individual high-level formula given in
Probabilistic Computational Tree Logic (PCTL). Each agent may need to
collaborate with other agents in order to achieve a task. The collaboration is
imposed by sharing actions between the agents. We aim to design local control
policies such that each agent satisfies its individual PCTL formula. The
proposed algorithm builds on clustering the agents, MDP products construction
and controller policies design. We show that our approach has better
computational complexity than the centralized case, which traditionally suffers
from very high computational demands.Comment: IFAC WC 2017, Toulouse, Franc
Cooperative Task Planning of Multi-Agent Systems Under Timed Temporal Specifications
In this paper the problem of cooperative task planning of multi-agent systems
when timed constraints are imposed to the system is investigated. We consider
timed constraints given by Metric Interval Temporal Logic (MITL). We propose a
method for automatic control synthesis in a two-stage systematic procedure.
With this method we guarantee that all the agents satisfy their own individual
task specifications as well as that the team satisfies a team global task
specification.Comment: Submitted to American Control Conference 201
Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
This paper presents a framework for automatic synthesis of a control sequence
for multi-agent systems governed by continuous linear dynamics under timed
constraints. First, the motion of the agents in the workspace is abstracted
into individual Transition Systems (TS). Second, each agent is assigned with an
individual formula given in Metric Interval Temporal Logic (MITL) and in
parallel, the team of agents is assigned with a collaborative team formula. The
proposed method is based on a correct-by-construction control synthesis method,
and hence guarantees that the resulting closed-loop system will satisfy the
specifications. The specifications considers boolean-valued properties under
real-time. Extended simulations has been performed in order to demonstrate the
efficiency of the proposed controllers.Comment: 8 pages version of the accepted paper to IFAC World Congres
Ανάλυση, Μοντελοποίηση και Μη Γραμμικός Έλεγχος ενός Ιπτάμενου Ρομποτικού Χειριστή
Εθνικό Μετσόβιο Πολυτεχνείο--Μεταπτυχιακή Εργασία. Διεπιστημονικό-Διατμηματικό Πρόγραμμα Μεταπτυχιακών Σπουδών (Δ.Π.Μ.Σ.) “Συστήματα Αυτοματισμού
Robust Distance-Based Formation Control of Multiple Rigid Bodies with Orientation Alignment
This paper addresses the problem of distance- and orientation-based formation
control of a class of second-order nonlinear multi-agent systems in 3D space,
under static and undirected communication topologies. More specifically, we
design a decentralized model-free control protocol in the sense that each agent
uses only local information from its neighbors to calculate its own control
signal, without incorporating any knowledge of the model nonlinearities and
exogenous disturbances. Moreover, the transient and steady state response is
solely determined by certain designer-specified performance functions and is
fully decoupled by the agents' dynamic model, the control gain selection, the
underlying graph topology as well as the initial conditions. Additionally, by
introducing certain inter-agent distance constraints, we guarantee collision
avoidance and connectivity maintenance between neighboring agents. Finally,
simulation results verify the performance of the proposed controllers.Comment: IFAC Word Congress 201
Position and Orientation Based Formation Control of Multiple Rigid Bodies with Collision Avoidance and Connectivity Maintenance
This paper addresses the problem of position- and orientation-based formation
control of a class of second-order nonlinear multi-agent systems in a D
workspace with obstacles. More specifically, we design a decentralized control
protocol such that each agent achieves a predefined geometric formation with
its initial neighbors, while using local information based on a limited sensing
radius. The latter implies that the proposed scheme guarantees that the
initially connected agents remain always connected. In addition, by introducing
certain distance constraints, we guarantee inter-agent collision avoidance as
well as collision avoidance with the obstacles and the boundary of the
workspace. The proposed controllers employ a novel class of potential functions
and do not require a priori knowledge of the dynamical model, except for
gravity-related terms. Finally, simulation results verify the validity of the
proposed framework
Mechanical Design, Modelling and Control of a Novel Aerial Manipulator
In this paper a novel aerial manipulation system is proposed. The mechanical
structure of the system, the number of thrusters and their geometry will be
derived from technical optimization problems. The aforementioned problems are
defined by taking into consideration the desired actuation forces and torques
applied to the end-effector of the system. The framework of the proposed system
is designed in a CAD Package in order to evaluate the system parameter values.
Following this, the kinematic and dynamic models are developed and an adaptive
backstepping controller is designed aiming to control the exact position and
orientation of the end-effector in the Cartesian space. Finally, the
performance of the system is demonstrated through a simulation study, where a
manipulation task scenario is investigated.Comment: Comments: 8 Pages, 2015 IEEE International Conference on Robotics and
Automation (ICRA '15), Seattle, WA, US